6

The logic of integration

Year:
2009
Language:
english
File:
PDF, 343 KB
english, 2009
7

Omitting Types in an Intermediate Logic

Year:
2011
Language:
english
File:
PDF, 179 KB
english, 2011
15

Some results on Kripke models over an arbitrary fixed frame

Year:
2003
Language:
english
File:
PDF, 109 KB
english, 2003
16

Quantified universes and ultraproducts

Year:
2012
Language:
english
File:
PDF, 177 KB
english, 2012
30

Random variables and integral logic

Year:
2011
Language:
english
File:
PDF, 148 KB
english, 2011
44

Maximality of linear continuous logic

Year:
2018
Language:
english
File:
PDF, 201 KB
english, 2018